Verified Software: Theories, To...
Paperback
Published 07 Jul 2008
Save $15.66
- RRP $120.54
- $104.88
Search for "Jim Woodcock"
34 results
-
$15.66off
-
$6.64off
Formal Methods: Foundations and...
Paperback
Published 09 Nov 2009Save $6.64
- RRP $60.26
- $53.62
-
$11.93off
FM'99 _ Formal Methods
Paperback
Published 13 Sep 1999Save $11.93
- RRP $120.54
- $108.61
-
$7.50off
Verified Software
Paperback
Published 22 Sep 2008Save $7.50
- RRP $60.26
- $52.76
-
$14.99off
Formal Methods and Software Eng...
Paperback
Published 27 Oct 2003Save $14.99
- RRP $120.54
- $105.55
-
$6.52off
Refinement Techniques in Softwa...
Paperback
Published 27 Sep 2006Save $6.52
- RRP $60.26
- $53.74
-
$5.51off
Theoretical Aspects of Computin...
Paperback
Published 15 Jul 2013Save $5.51
- RRP $60.26
- $54.75
-
$11.41off
Dependable Software Engineering...
Paperback
Published 14 Nov 2021Save $11.41
- RRP $87.05
- $75.64
-
$7.67off
Domain Modeling and the Duratio...
Paperback
Published 28 Aug 2007Save $7.67
- RRP $60.26
- $52.59
-
$4.56off
Formal Methods and Hybrid Real-...
Paperback
Published 06 Sep 2007Save $4.56
- RRP $60.26
- $55.70
-
$6.29off
Theoretical Aspects of Computin...
Paperback
Published 11 Aug 2010Save $6.29
- RRP $60.26
- $53.97
-
Software Engineering for Robotics
Hardback
Published 06 Jul 2021- $164.88
-
Software Engineering for Robotics
Paperback
Published 06 Jul 2022- $160.14
-
$18.02off
Theories of Programming and For...
Paperback
Published 31 Jul 2013Save $18.02
- RRP $73.66
- $55.64
-
$7.30off
Unifying Theories of Programmin...
Paperback
Published 19 Jul 2013Save $7.30
- RRP $60.26
- $52.96
-
Using Z
Paperback
Published 22 Mar 1996 -
Birds of Britain and Europe
Paperback
Published 01 Jun 2019 -
Software Engineering Mathematics
Paperback
Published 31 Dec 1988 -
Letter from the Khyber Pass
Paperback
Published 23 Sep 1993 -
Birds of Britain and Europe
Paperback
Published 01 Apr 1997 -
Birds of Britain and Europe
Paperback
Published 01 Jun 2001 -
Birds of Britain and Europe
Paperback
Published 08 Sep 2016 -
FME '93
Paperback
Published 15 Aug 1993 -
Mathematics of Program Construc...
Paperback
-
FME '96, Industrial Benefit and...
Hardback
-
3rd Refinement Workshop
Paperback
-
Millennial Perspectives in Comp...
Hardback
Published 30 Nov 2000 -
Software Engineering Mathematics
Book
Published 01 Jan 1989 -
Tiree Walks
Paperback
Published 01 Jul 2016 -
The Concise Guide to Birds of B...
Book
Published 30 Jun 1990 -
Birds of Britain and Europe
Book
Published 31 Mar 1992 -
Theoretical Aspects of Computin...
Paperback
Published 27 Nov 2013 -
Unifying Theories of Programmin...
Paperback
Published 27 Nov 2013 -
3rd Refinement Workshop
Paperback
Published 01 Apr 1991